Probabilistic relational model

Results: 44



#Item
41Probabilistic Relational Verification for Cryptographic Implementations Gilles Barthe C´edric Fournet

Probabilistic Relational Verification for Cryptographic Implementations Gilles Barthe C´edric Fournet

Add to Reading List

Source URL: research.microsoft.com

Language: English - Date: 2013-09-13 09:26:28
42Relational Markov Models and their Application to Adaptive Web Navigation Corin R. Anderson

Relational Markov Models and their Application to Adaptive Web Navigation Corin R. Anderson

Add to Reading List

Source URL: homes.cs.washington.edu

Language: English - Date: 2002-10-08 04:13:20
43

PDF Document

Add to Reading List

Source URL: www.cs.huji.ac.il

Language: English - Date: 2012-08-23 04:56:16
44

PDF Document

Add to Reading List

Source URL: ijcai.org

Language: English - Date: 2008-09-30 05:14:01